debian/pinball-config.6
